((((Unfold `p{-}restrict` 0) 
\\[0ex]CollapseTHEN (((Auto$\cdot$) 
\\[0ex]CollapseTHEN (((((
\\[0ex]RWO "do{-}apply{-}compose" 0) 
\\[0ex]THEN (Auto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((((
\\[0ex]RWO "can{-}apply{-}compose{-}iff" ({-}1)) 
\\[0ex]THEN (Auto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((
\\[0ex]RWO "do{-}apply{-}p{-}filter" 0) 
\\[0ex]THEN (Auto$\cdot$))$\cdot$))$\cdot$))$\cdot$))$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((
\\[0ex]All (RWO "do{-}apply{-}p{-}filter")) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$))$\cdot$